منابع مشابه
CCC v4n3
Submitted: Apr 9, 2004; Revised: Jul 19, 2004; Accepted: Jul 19, 2004 Address for correspondence: Robert Diasio, MD, University of Alabama at Birmingham, Department of Pharmacology and Toxicology and UAB Comprehensive Cancer Center, 1824 6th Ave S, Wallace Tumor Institute, Room 620, University of Alabama at Birmingham, Birmingham, AL 35294-3300 Fax: 205-975-5650; e-mail: [email protected]...
متن کاملIdeals without CCC
Let I be an ideal of subsets of a Polish space X, containing all singletons and possessing a Borel basis. Assuming that I does not satisfy ccc, we consider the following conditions (B), (M) and (D). Condition (B) states that there is a disjoint family F ⊆ P (X) of size c, consisting of Borel sets which are not in I . Condition (M) states that there is a Borel function f : X → X with f[{x}] / ∈ ...
متن کاملComplete Ccc Boolean Algebras
Let B be a complete ccc Boolean algebra and let τs be the topology on B induced by the algebraic convergence of sequences in B. 1. Either there exists a Maharam submeasure on B or every nonempty open set in (B, τs) is topologically dense. 2. It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure. 3. The topological space (B, τ...
متن کاملCCC Forcing and Splitting Reals
Prikry asked if it is relatively consistent with the usual axioms of ZFC that every nontrivial ccc forcing adds either a Cohen or a random real. Both Cohen and random reals have the property that they neither contain nor are disjoint from an infinite set of integers in the ground model, i.e. they are splitting reals. In this note I show that that it is relatively consistent with ZFC that every ...
متن کاملCCC - The Casl Consistency Checker
We introduce the Casl Consistency Checker (CCC), a tool that supports consistency proofs in the algebraic specification language Casl. CCC is a faithful implementation of a previously described consistency calculus. Its system architecture combines flexibility with correctness ensured by encapsulation in a type system. CCC offers tactics, tactical combinators, forward and backward proof, and a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1989
ISSN: 0304-3975
DOI: 10.1016/0304-3975(89)90097-2